Resultados de la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).
  • La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio…
    20 kB (2732 palabras) - 05:11 8 may 2024
  • combinatorios y la teoría de matroides) encontrar objetos "más grandes", "más pequeños" u "óptimos" (combinatoria extrema y optimización combinatoria)…
    53 kB (9414 palabras) - 19:26 18 may 2024
  • comprender la importancia de la optimización combinatoria. Los algoritmos de optimización combinatoria se relacionan comúnmente con problemas NP-hard…
    9 kB (1104 palabras) - 16:47 26 abr 2023
  • Sistema B, C, K, W (categoría Lógica matemática)
    el cálculo combinatorio SKI, con solo dos combinadores primitivos, K y S, se ha convertido en el enfoque canónico de la lógica combinatoria. B, C y W pueden…
    4 kB (467 palabras) - 21:27 24 ene 2021
  • principal de Curry fue en lógica matemática, especialmente en la teoría de sistemas y procesos formales - lógica combinatoria, el fundamento para los lenguajes…
    3 kB (339 palabras) - 13:20 25 dic 2023
  • NAND, todos los sistemas lógicos se pueden convertir en puertas NOR. En principio, cualquier enfunción lógica combinatoria puede realizarse con suficientes…
    8 kB (490 palabras) - 00:54 25 dic 2023
  • tradicional. La combinatoria es la rama de la matemática que estudia colecciones finitas de objetos que pueden ser combinados u ordenados. La combinatoria enumerativa…
    20 kB (2281 palabras) - 08:05 12 may 2024
  • lógica intuicionista y la lógica lineal son especialmente significativas. Algunos sistemas formales como el cálculo lambda y la lógica combinatoria entre…
    32 kB (5266 palabras) - 02:51 12 may 2024
  • desplazamiento, un contador o un registro precedido de un bloque lógico combinatorio. La lógica combinatoria bloque asociado a un registro que puede llevar a cabo…
    5 kB (611 palabras) - 13:15 3 oct 2023
  • Miniatura para Lógica NAND
    es cierto para las puertas NOR. En principio, cualquier función lógica combinatoria puede realizarse con suficientes puertas NAND. Una puerta NAND es…
    10 kB (611 palabras) - 12:01 20 jul 2022
  • Miniatura para Disertación acerca del arte combinatorio
    La Disertación acerca del arte combinatorio (en latín: Dissertatio de arte combinatoria) es una obra temprana de Gottfried Leibniz publicada en 1666 en…
    6 kB (834 palabras) - 18:05 22 ene 2024
  • Proposición (redirección desde Proposicion (logica))
    por conjuntos de signos y reglas combinatorias definidas axiomáticas, que son interpretables semánticamente. La lógica matemática suele dividirse en cuatro…
    31 kB (4302 palabras) - 21:54 1 feb 2024
  • Miniatura para Sebastián Izquierdo
    Sebastián Izquierdo (categoría Lógicos de España)
    Combinatione, en su De Arte Combinatoria (1666). Izquierdo también escribió sobre teología: Opus theologicum. Ramón Ceñal, La Combinatoria de Sebastián Izquierdo:…
    3 kB (407 palabras) - 18:14 4 ene 2024
  • Alonzo Church (categoría Lógicos de Estados Unidos)
    lenguaje Lisp, así como en los lenguajes de programación funcional. Lógica combinatoria University of St Andrews (ed.). «Alonzo Church» (en inglés). Consultado…
    6 kB (497 palabras) - 21:14 24 dic 2023
  • Miniatura para Teoría de juegos combinatorios
    que inicialmente fue desarrollada para estudiar juegos con estructura combinatoria simple, pero con elementos de azar (aunque también considera movimientos…
    24 kB (3156 palabras) - 07:57 19 oct 2023
  • El atomismo lógico, heredero en muchos aspectos del trabajo de Gottlob Frege en el siglo XIX, es una doctrina filosófica sostenida por Bertrand Russell…
    9 kB (1374 palabras) - 11:01 28 feb 2024
  • Miniatura para Instituto de Matemáticas Alfréd Rényi
    Bárány, especialista en combinatoria, geómetra. Zoltán Füredi, especialista en combinatoria. Tibor Gallai, especialista en combinatoria. András Hajnal, teórico…
    3 kB (284 palabras) - 04:45 28 ago 2022
  • Miniatura para Condicional material
    Blackwell Guide to Philosophical Logic. Blackwell.  Grimaldi, Ralph P. (1998). Matemáticas discreta y combinatoria: introducción y aplicaciones. Pearson…
    16 kB (2133 palabras) - 13:33 3 abr 2024
  • nivel funcional en el estilo de FP tiene una fuerte relación con la lógica combinatoria de Haskell Curry, con los lenguajes de combinadores, antecesores…
    3 kB (398 palabras) - 20:10 18 ene 2024
  • Miniatura para Corrado Böhm
    la teoría de programación estructurada, matemática constructiva, lógica combinatoria, cálculo lambda, y la semántica e implementación de lenguajes de…
    3 kB (302 palabras) - 18:58 8 abr 2024
Ver (20 previas · ) (20 · 50 · 100 · 250 · 500).